<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Bibliography</title>
<link rel="stylesheet" href="boostbook.css" type="text/css">
<meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
<link rel="home" href="index.html" title="Safe Numerics">
<link rel="up" href="index.html" title="Safe Numerics">
<link rel="prev" href="change_log.html" title="Release Log">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr>
<td valign="top"><img href="index.html" height="164px" src="pre-boost.jpg" alt="Library Documentation Index"></td>
<td><h2>Safe Numerics</h2></td>
</tr></table>
<div class="spirit-nav">
<a accesskey="p" href="change_log.html"><img src="images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="images/home.png" alt="Home"></a>
</div>
<div class="section">
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
<a name="safe_numerics.bibliography"></a>Bibliography</h2></div></div></div>
<div class="bibliography">
<div class="titlepage"><div><div><h3 class="title">
<a name="idm462682823936"></a>Bibliography</h3></div></div></div>
<div class="biblioentry">
<a name="coker"></a><p>[<abbr class="abbrev">Coker</abbr>] <span class="author"><span class="firstname">Zack</span> <span class="surname">Coker</span>. </span><span class="author"><span class="firstname">Samir</span> <span class="surname">Hasan</span>. </span><span class="author"><span class="firstname">Jeffrey</span> <span class="surname">Overbey</span>. </span><span class="author"><span class="firstname">Munawar</span> <span class="surname">Hafiz</span>. </span><span class="author"><span class="firstname">Christian</span> <span class="surname">Kästner</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="https://www.cs.cmu.edu/~ckaestne/pdf/csse14-01.pdf" target="_top">Integers In
          C: An Open Invitation To Security Attacks?</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 -
        The C++ Standards Committee - ISOCPP</a>
      . </span><span class="date">January 15, 2012. </span></p>
</div>
<div class="biblioentry">
<a name="cook"></a><p>[<abbr class="abbrev">Cook</abbr>] <span class="author"><span class="firstname">John D.</span> <span class="surname">Cook</span>. </span><span class="title"><i>
        <a href="https://www.johndcook.com/blog/ieee_exceptions_in_cpp/" target="_top">IEEE
        floating-point exceptions in C++</a>
      </i>. </span></p>
</div>
<div class="biblioentry">
<a name="crowl"></a><p>[<abbr class="abbrev">Crowl</abbr>] <span class="author"><span class="firstname">Lawrence</span> <span class="surname">Crowl</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++
          Binary Fixed-Point Arithmetic</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">JTC1/SC22/WG21 -
        The C++ Standards Committee - ISOCPP</a>
      . </span><span class="date">January 15, 2012. </span></p>
</div>
<div class="biblioentry">
<a name="crowl2"></a><p>[<abbr class="abbrev">Crowl &amp; Ottosen</abbr>] <span class="author"><span class="firstname">Lawrence</span> <span class="surname">Crowl</span>. </span><span class="author"><span class="surname">Thorsten Ottosen</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top">Proposal
          to add Contract Programming to C++</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N1962 and
        J16/06-0032 - The C++ Standards Committee - ISOCPP</a>
      . </span><span class="date">February 25, 2006. </span></p>
</div>
<div class="biblioentry">
<a name="dietz"></a><p>[<abbr class="abbrev">Dietz</abbr>] <span class="author"><span class="firstname">Will</span> <span class="surname">Dietz</span>. </span><span class="author"><span class="firstname">Peng</span> <span class="surname">Li</span>. </span><span class="author"><span class="firstname">John</span> <span class="surname">Regehr</span>. </span><span class="author"><span class="firstname">Vikram</span> <span class="surname">Adve</span>. </span><span class="title"><i>
        <a href="http://www.cs.utah.edu/~regehr/papers/overflow12.pdf" target="_top">Understanding
        Integer Overflow in C/C++</a>
      </i>. </span><span class="publishername">
        <a href="http://dl.acm.org/citation.cfm?id=2337223&amp;picked=prox" target="_top">Proceedings
        of the 34th International Conference on Software Engineering (ICSE),
        Zurich, Switzerland</a>
      . </span><span class="date">June 2012. </span></p>
</div>
<div class="biblioentry">
<a name="garcia"></a><p>[<abbr class="abbrev">Garcia</abbr>] <span class="author"><span class="firstname">J. Daniel</span> <span class="surname">Garcia</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf" target="_top">C++
          language support for contract programming</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">WG21/N4293 - The
        C++ Standards Committee - ISOCPP</a>
      . </span><span class="date">December 23, 2014. </span></p>
</div>
<div class="biblioentry">
<a name="goldberg"></a><p>[<abbr class="abbrev">Goldberg</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">Goldberg</span>. </span><span class="title"><i>
        <a href="https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html" target="_top">What
        Every Computer Scientist Should Know About Floating-Point
        Arithmetic</a>
      </i>. </span><span class="publishername">
        <a href="https://csur.acm.org/index.cfm" target="_top">ACM Computing
        Surveys</a>
      . </span><span class="date">March, 1991. </span></p>
</div>
<div class="biblioentry">
<a name="katz"></a><p>[<abbr class="abbrev">Katz</abbr>] <span class="author"><span class="firstname">Omer</span> <span class="surname">Katz</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">SafeInt
        code proposal</a>
      </i>. </span><span class="publishername">
        <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">Boost
        Developer's List</a>
      . </span></p>
</div>
<div class="biblioentry">
<a name="keaton"></a><p>[keaton] <span class="author"><span class="firstname">David</span> <span class="surname">Keaton</span>. </span><span class="author"><span class="firstname">Thomas</span> <span class="surname">Plum</span>. </span><span class="author"><span class="firstname">Robert</span> <span class="othername">C.</span> <span class="surname">Seacord</span>. </span><span class="author"><span class="firstname">David</span> <span class="surname">Svoboda</span>. </span><span class="author"><span class="firstname">Alex</span> <span class="surname">Volkovitsky</span>. </span><span class="author"><span class="firstname">Timothy</span> <span class="surname">Wilson</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://resources.sei.cmu.edu/asset_files/TechnicalNote/2009_004_001_15074.pdf" target="_top">As-if
          Infinitely Ranged Integer Model</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="http://www.sei.cmu.edu" target="_top">Software Engineering
        Institute</a>
      . </span><span class="volumenum">CMU/SEI-2009-TN-023. </span></p>
</div>
<div class="biblioentry">
<a name="leblanc1"></a><p>[<abbr class="abbrev">LeBlanc</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">LeBlanc</span>. </span><span class="title"><i>
        <a href="https://msdn.microsoft.com/en-us/library/ms972705.aspx" target="_top">Integer
        Handling with the C++ SafeInt Class</a>
      </i>. </span><span class="publishername">
        <a href="https://www.cert.org" target="_top">Microsoft Developer Network</a>
      . </span><span class="date">January 7, 2004. </span></p>
</div>
<div class="biblioentry">
<a name="leblanc2"></a><p>[<abbr class="abbrev">LeBlanc</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">LeBlanc</span>. </span><span class="title"><i>
        <a href="https://safeint.codeplex.com" target="_top">SafeInt</a>
      </i>. </span><span class="publishername">
        <a href="https://www.cert.org" target="_top">CodePlex</a>
      . </span><span class="date">Dec 3, 2014. </span></p>
</div>
<div class="biblioentry">
<a name="lions"></a><p>[<abbr class="abbrev">Lions</abbr>] <span class="author"><span class="firstname">Jacques-Louis</span> <span class="surname">Lions</span>. </span><span class="title"><i>
        <a href="https://en.wikisource.org/wiki/Ariane_501_Inquiry_Board_report" target="_top">Ariane
        501 Inquiry Board report</a>
      </i>. </span><span class="publishername">
        <a href="https://en.wikisource.org/wiki/Main_Page" target="_top">Wikisource</a>
      . </span><span class="date">July 19, 1996. </span></p>
</div>
<div class="biblioentry">
<a name="matthews"></a><p>[<abbr class="abbrev">Matthews</abbr>] <span class="author"><span class="firstname">Hubert</span> <span class="surname">Matthews</span>. </span><span class="title"><i>
        <a href="https://accu.org/index.php/journals/324" target="_top">CheckedInt: A
        Policy-Based Range-Checked Integer</a>
      </i>. </span><span class="publishername">
        <a href="https://accu.org/index.php" target="_top">Overload Journal #58</a>
      . </span><span class="date">December 2003. </span></p>
</div>
<div class="biblioentry">
<a name="mouawad"></a><p>[<abbr class="abbrev">Mouawad</abbr>] <span class="author"><span class="firstname">Jad</span> <span class="surname">Mouawad</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://www.nytimes.com/2015/05/01/business/faa-orders-fix-for-possible-power-loss-in-boeing-787.html?_r=0" target="_top">F.A.A
          Orders Fix for Possible Power Loss in Boeing 787</a>
        </a>
      </i>. </span><span class="publishername">New York Times. </span><span class="date">April 30, 2015. </span></p>
</div>
<div class="biblioentry">
<a name="plakosh"></a><p>[<abbr class="abbrev">Plakosh</abbr>] <span class="author"><span class="firstname">Daniel</span> <span class="surname">Plakosh</span>. </span><span class="title"><i>
        <a href="https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/coding/312-BSI.html" target="_top">Safe
        Integer Operations</a>
      </i>. </span><span class="publishername">
        <a href="https://buildsecurityin.us-cert.gov" target="_top">U.S. Department of
        Homeland Security</a>
      . </span><span class="date">May 10, 2013. </span></p>
</div>
<div class="biblioentry">
<a name="seacord1"></a><p>[<abbr class="abbrev">Seacord</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">Secure
        Coding in C and C++</a>
      </i>. </span><span class="edition">2nd Edition. </span><span class="publishername">Addison-Wesley Professional. </span><span class="date">April 12, 2013. </span><span class="isbn">978-0321822130. </span></p>
</div>
<div class="biblioentry">
<a name="seacord2"></a><p>[<abbr class="abbrev">INT30-C</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
        <a href="https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false" target="_top">INT30-C.
        Ensure that operations on unsigned integers do not wrap</a>
      </i>. </span><span class="publishername">
        <a href="https://www.cert.org" target="_top">Software Engineering Institute,
        Carnegie Mellon University</a>
      . </span><span class="date">August 17, 2014. </span></p>
</div>
<div class="biblioentry">
<a name="seacord3"></a><p>[<abbr class="abbrev">INT32-C</abbr>] <span class="author"><span class="firstname">Robert C.</span> <span class="surname">Seacord</span>. </span><span class="title"><i>
        <a href="https://www.securecoding.cert.org/confluence/display/c/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap" target="_top">INT32-C.
        Ensure that operations on signed integers do not result in
        overflow</a>
      </i>. </span><span class="publishername">
        <a href="https://www.cert.org" target="_top">Software Engineering Institute,
        Carnegie Mellon University</a>
      . </span><span class="date">August 17, 2014. </span></p>
</div>
<div class="biblioentry">
<a name="stone"></a><p>[<abbr class="abbrev">Stone</abbr>] <span class="author"><span class="firstname">David</span> <span class="surname">Stone</span>. </span><span class="title"><i>
        <a href="http://doublewise.net/c++/bounded/" target="_top">C++ Bounded Integer
        Library</a>
      </i>. </span></p>
</div>
<div class="biblioentry">
<a name="stroustrup"></a><p>[<abbr class="abbrev">Stroustrup</abbr>] <span class="author"><span class="firstname">Bjarn</span> <span class="surname">Stroustrup</span>. </span><span class="title"><i>The C++ Programming Language</i>. </span><span class="edition">Fourth Edition. </span><span class="publishername">
        <a href="http://www.open-std.org/jtc1/sc22/wg21/" target="_top">Addison-Wesley</a>
      . </span><span class="copyright">Copyright © 2014 by Pearson Education, Inc.. </span><span class="date">January 15, 2012. </span></p>
</div>
<div class="biblioentry">
<a name="forum"></a><p>[<abbr class="abbrev">Forum</abbr>] <span class="author"><span class="surname">Forum Posts</span>. </span><span class="title"><i>
        <a href="http://www.cert.org/secure-coding/publications/books/secure-coding-c-c-second-edition.cfm?" target="_top">
          <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3352.html" target="_top">C++
          Binary Fixed-Point Arithmetic</a>
        </a>
      </i>. </span><span class="publishername">
        <a href="https://groups.google.com/a/isocpp.org/forum/?fromgroups#!forum/std-proposals" target="_top">ISO
        C++ Standard Future Proposals</a>
      . </span></p>
</div>
</div>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
<td align="left"></td>
<td align="right"><div class="copyright-footer">Copyright © 2012-2018 Robert Ramey<p><a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">Subject to Boost
      Software License</a></p>
</div></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="change_log.html"><img src="images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="images/home.png" alt="Home"></a>
</div>
</body>
</html>
